Graphical limit sets for general cellular automata
نویسندگان
چکیده
منابع مشابه
Nilpotency and Limit Sets of Cellular Automata
A one-dimensional cellular automaton is a dynamical system which consisting in a juxtaposition of cells whose state changes over discrete time according to that of their neighbors. One of its simplest behaviors is nilpotency: all configurations of cells are mapped after a finite time into a given “null” configuration. Our main result is that nilpotency is equivalent to the condition that all co...
متن کاملRice's Theorem for μ-Limit Sets of Cellular Automata
Cellular automata are a parallel and synchronous computing model, made of infinitely many finite automata updating according to the same local rule. Rice’s theorem states that any nontrivial property over computable functions is undecidable. It has been adapted by Kari to limit sets of cellular automata [Kar94], that is the set of configurations that can be reached arbitrarily late. This paper ...
متن کاملConstruction of μ-Limit Sets of Two-Dimensional Cellular Automata
We prove a characterization of μ-limit sets of two-dimensional cellular automata, extending existing results in the one-dimensional case. This sets describe the typical asymptotic behaviour of the cellular automaton, getting rid of exceptional cases, when starting from the uniform measure.
متن کاملTuring Degrees of Limit Sets of Cellular Automata
Cellular automata are discrete dynamical systems and a model of computation. The limit set of a cellular automaton consists of the configurations having an infinite sequence of preimages. It is well known that these always contain a computable point and that any non-trivial property on them is undecidable. We go one step further in this article by giving a full characterization of the sets of T...
متن کاملLimit Sets of Stable and Unstable Cellular Automata
We construct a cellular automaton (CA) with a sofic and mixing limit set and then construct a stable CA with the same limit set, showing there exist subshifts that can be limit sets of both stable and unstable CAs, answering a question raised by A. Maass.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2015
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2015.02.022